non-deterministic reduction